Concurrency control

Results: 1488



#Item
741Lock / SAP AG / Base One Foundation Component Library / Computing / Software / Concurrency control

LOCK! DO YOU WANT TO SEGMENT THE WAY LOCAL DATA IS REPORTED ? Lock!, a functionality integrated within SAP BFC, enables users at central site to lock and unlock a choosen part of data (could be intercompany data) entere

Add to Reading List

Source URL: www.viareport.com

Language: English - Date: 2014-03-06 09:13:53
742Concurrent computing / Lock / Parallel computing / Monitor / Futures and promises / Schedule / Thread / Race condition / Spinlock / Computing / Concurrency control / Computer programming

High-level Data Races Cyrille Artho∗, Klaus Havelund†, and Armin Biere∗ ∗ † Computer Systems Institute, ETH Zurich, Switzerland

Add to Reading List

Source URL: www.kestreltechnology.com

Language: English - Date: 2006-07-12 15:18:13
743Transmission Control Protocol / Replication / Concurrency control / Computer architecture / Data synchronization / Fault-tolerant computer systems / Computing

fixInt.rint-4.3notitle.eps

Add to Reading List

Source URL: www.cs.ucy.ac.cy

Language: English - Date: 2009-09-29 02:54:30
744Data / Information / Schedule / Linearizability / Transmission Control Protocol / Microsoft SQL Server / Transaction processing / Concurrency control / Data management

Fault-Tolerant SemiFast Implementations ∗ of Atomic Read/Write Registers Chryssis Georgiou †

Add to Reading List

Source URL: www.cs.ucy.ac.cy

Language: English - Date: 2007-11-27 04:31:15
745Data / Information / Databases / Serializability / Two-phase locking / Optimistic concurrency control / Timestamp-based concurrency control / Extensible Storage Engine / Software transactional memory / Transaction processing / Data management / Concurrency control

Phase Reconciliation for Contended In-Memory Transactions Neha Narula, Cody Cutler, Eddie Kohler† , and Robert Morris MIT CSAIL and † Harvard University Abstract

Add to Reading List

Source URL: pdos.csail.mit.edu

Language: English - Date: 2014-10-01 11:43:55
746Model checking / Ansgar / Lock / Communications protocol / Thread / Critical section / Concurrency control / Computing / Mutual exclusion

Algorithmic Verification The software crisis (and hardware as well) Algorithmic Verification Comp4151 Lecture 1-B

Add to Reading List

Source URL: www.cse.unsw.edu.au

Language: English - Date: 2006-06-05 00:33:08
747Computing / System software / Software transactional memory / Transactional Synchronization Extensions / Transactional memory / Virtual memory / Kernel / Lock / Parallel computing / Transaction processing / Concurrency control / Data management

Scaling Address-Space Operations on Linux with TSX by Christopher Ryan Johnson B.A., Knox College (2011)

Add to Reading List

Source URL: pdos.csail.mit.edu

Language: English - Date: 2015-03-27 16:16:57
748Transaction processing / Computer programming / Concurrency / Theoretical computer science / Linearizability / Non-blocking algorithm / Concurrent data structure / Parallel computing / Sequential consistency / Computing / Concurrency control / Concurrent computing

Finding Linearization Violations in Lock-Free Concurrent Data Structures by Sebastien Alberto Dabdoub S.B., Massachusetts Institute of Technology (2012)

Add to Reading List

Source URL: pdos.csail.mit.edu

Language: English - Date: 2015-03-27 16:16:57
749Concurrency control / Computer hardware / Spinlock / Interchangeable core / Lock / Parallel computing / Multi-core processor / AMD Phenom / CPU cache / Computing / Locksmithing / Gates

Non-scalable locks are dangerous Silas Boyd-Wickizer, M. Frans Kaashoek, Robert Morris, and Nickolai Zeldovich MIT CSAIL Abstract

Add to Reading List

Source URL: pdos.csail.mit.edu

Language: English - Date: 2015-03-27 16:16:57
750Computing / Computer architecture / Quorum / Linearizability / Transmission Control Protocol / Non-blocking algorithm / Replication / DEC Alpha / Transaction processing / Concurrency control / Data management

On the Efficiency of Atomic Multi-Reader, Multi-Writer Distributed Memory Burkhard Englert1 , Chryssis Georgiou2 , Peter M. Musial3 ? , Nicolas Nicolaou4 , and Alexander A. Shvartsman4 ?? 1

Add to Reading List

Source URL: www.cs.ucy.ac.cy

Language: English - Date: 2009-09-29 15:50:28
UPDATE